Nuprl Definition : input-dcdr
11,40
postcript
pdf
input-dcdr{i:l}(
es
;
Cmd
;
Sys
) == TERMOF{
decidable
input
:ObjectId, 1:l, i:l}(
es
,
Cmd
,
Sys
)
latex
clarification:
input-dcdr{i:l}(
es
;
Cmd
;
Sys
) == TERMOF{
decidable
input
:ObjectId, 1:l, i:l}(
es
,
Cmd
,
Sys
)
latex
Definitions
f
(
a
)
,
decidable
input
FDL editor aliases
input-dcdr
origin